[[Polynomial ring]]
# Polynomial ring over a UFD is a UFD

Let $R$ be a [[Unique factorization domain|UFD]]. Then the [[polynomial ring]] $R[x]$ is a [[Unique factorization domain|UFD]].[^2009] #m/thm/ring 

> [!missing]- Proof
> #missing/proof

  [^2009]: 2009\. [[Sources/@aluffiAlgebraChapter02009|Algebra: Chapter 0]], § V.4.3, pp. 273–276

#
---
#state/develop | #lang/en | #SemBr